Pattern Matching Inference

This inference strategy is used to select the "best" of the "valid" instances.

The "best" instance is defined by:

A "valid" instance is ensured by:

Note that only Instance Properties with the "enter into pattern matching inference" option checked are considered.